Reasoning in inconsistent prioritized knowledge bases: an argumentative approach

<p>A study of query answering in prioritized ontological knowledge bases (KBs) has received attention recent years. While several semantics have been proposed and their complexity is rather well-understood, the problem explaining inconsistency-tolerant answers paid less attention. Explaining permits users to understand not only what entailed or by an inconsistent DL-LiteR KBs presence priority, but also why. We, therefore, concern with use argumentation frameworks allow better explanation techniques querying over priority. More specifically, we propose a new variant Dung’s frameworks, which corresponds given KB. We clarify close relation between preferred subtheories adopted such setting acceptable corresponding framework. The significant result paves way for applying algorithms proof theories establish inferences KBs.</p>